Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系，系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

I want to take a flight to New York tomorrow.
我想明天坐飞机到纽约。
Do you live up the street?
你在街头居住吗？
The one near the school. It sells books and things like that.
就是学校附近的那个。卖书之类的东西。
更多情景英语 ›

🔤 更多 T 开头的单词

take orders
tbermoneurosis
tend towards
thermomechanical treatment
three party draft
topography tə'pɑgrəfi
trade drive
tribromomesitylene
全部 T 开头单词 ›